$\forall$$p$:FinProbSpace. ($\neg\neg$Konig($\parallel$$p$$\parallel$)) $\Rightarrow$ ($\neg$nullset($p$;$\lambda$$s$.True))